Computer Science Education 2004, Vol. 14, No. 3, pp. 235–248 Teaching Algorithm Efficiency at CS1 Level: A Different Approach Judith Gal-Ezer, Tamar Vilner, and Ela Zur

Source URL: www.openu.ac.il

• Theoretical computer science
• Analysis of algorithms
• Dynamic programming
• Software optimization
• Algorithm
• Mathematical logic
• Selection algorithm
• Recursion
• Sort
• Best
• worst and average case
• Knapsack problem
• Matrix chain multiplication

The VC dimension of constraint-based grammars Max Banea , Jason Rigglea , Morgan Sondereggerb a University b University of Chicago, Department of Linguistics, 1010 East 59th Street, Chicago, IL 60637.

Source URL: people.linguistics.mcgill.ca

• Geometry
• Mathematics
• Mathematical optimization
• Linguistics
• Optimality theory
• Phonology
• Phonotactics
• Linear algebra
• Hyperplane
• Feasible region
• Arrangement of hyperplanes
• Modal logic

Microsoft PowerPoint - Access-Based Localization for Octagons.pptx

Source URL: nsad2012.ucombinator.org

• Constraint programming
• Logic programming
• Loop quantum gravity
• Data modeling
• Mathematical optimization

Fifth Competition of Pseudo-Boolean Solvers (PB’10) Call for Solvers and Benchmarks http://www.cril.univ-artois.fr/PB10/ G OAL Like the previous competitions (PB05, PB06, PB07 and PB09), the goal is to assess the state

Source URL: www.cril.univ-artois.fr

• Logic in computer science
• Combinatorial optimization
• Operations research
• Numerical software
• Maximum satisfiability problem
• Constraint satisfaction
• Mathematical optimization
• Solver
• Satisfiability
• Integer programming
• Constraint
• Boolean satisfiability problem

Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages Tim Felgentreff, Todd Millstein, Alan Borning and Robert Hirschfeld

Source URL: www.vpri.org

• Constraint programming
• Constraint satisfaction
• Constraint logic programming
• Constrained optimization
• Kaleidoscope
• Decomposition method
• Hidden transformation

The importance of computing intermodal roundtrips in multimodal guidance systems Daniel Baumann, EPFL - LAVOC Alexandre Torday, EPFL - LAVOC Prof. André-Gilles Dumont, EPFL - LAVOC

Source URL: www.strc.ch

• Edsger W. Dijkstra
• Logistics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Shortest path problem
• Intermodal freight transport
• Transport
• Multimodal transport
• Program optimization
• Intermodal journey planner
• Journey planner

Recursive Query Plans for Data Integration Oliver M. Duschka Michael R. Genesereth Department of Computer Science, Stanford University, Stanford, CA 94305, USA

Source URL: logic.stanford.edu

• Computing
• Data management
• Software engineering
• Database management systems
• SQL
• Recursion
• Conjunctive query
• Database theory
• Datalog
• Data integration
• Query optimization
• Join

Database Reformulation with Integrity Constraints (extended abstract) Rada Chirkova∗ Department of Computer Science North Carolina State University

Source URL: logic.stanford.edu

• Database theory
• Conjunctive query
• Structure
• Functional dependency
• Query optimization
• Monotonic query

Programming with Personalized PageRank: A Locally Groundable First-Order Probabilistic Logic William Yang Wang Kathryn Mazaitis

Source URL: www.cs.cmu.edu

• Logic
• Philosophy
• Crowdsourcing
• Google Search
• PageRank
• Reputation management
• Search engine optimization
• Markov logic network
• Probabilistic logic
• Markov random field
• Inference
• Substitution

Refinement Type Inference via Multi-Objective Optimization Subject to Horn Clauses Kodai Hashimoto and Hiroshi Unno (University of Tsukuba)! {kodai, uhiro}@logic.cs.tsukuba.ac.jp Our proposal

Source URL: www.cs.tsukuba.ac.jp